[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 107 92 187 183 0 147 124

N.S.

1 1.00 0.86 0.74 1.50 1.46 0.00 1.18 0.99

time (sec)

N/A 0.363 0.596 0.694 0.234 0.278 0.000 0.325 13.486

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 63 56 115 93 0 75 66

N.S.

1 1.00 0.62 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.234 0.269 0.740 0.206 0.264 0.000 0.313 13.690

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 135 56 115 93 0 75 66

N.S.

1 1.00 1.32 0.55 1.13 0.91 0.00 0.74 0.65

time (sec)

N/A 0.129 0.862 0.836 0.249 0.287 0.000 0.308 13.763

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 241 69 160 138 0 121 133

N.S.

1 1.00 2.23 0.64 1.48 1.28 0.00 1.12 1.23

time (sec)

N/A 0.218 0.942 0.662 0.341 0.284 0.000 0.320 13.982

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 122 89 231 173 0 157 155

N.S.

1 1.00 0.90 0.65 1.70 1.27 0.00 1.15 1.14

time (sec)

N/A 0.408 2.464 1.094 0.312 0.275 0.000 0.320 14.006

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 435 107 322 190 0 200 204

N.S.

1 1.00 2.33 0.57 1.72 1.02 0.00 1.07 1.09

time (sec)

N/A 0.526 2.812 0.987 0.299 0.274 0.000 0.306 14.098

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 218 491 125 412 205 0 228 237

N.S.

1 1.00 2.25 0.57 1.89 0.94 0.00 1.05 1.09

time (sec)

N/A 0.574 2.777 1.117 0.313 0.272 0.000 0.313 14.023

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 238 175 196 419 358 0 267 272

N.S.

1 1.00 0.74 0.82 1.76 1.50 0.00 1.12 1.14

time (sec)

N/A 0.783 4.180 1.095 0.243 0.295 0.000 0.332 13.978

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 145 160 326 317 0 220 237

N.S.

1 1.00 0.75 0.82 1.68 1.63 0.00 1.13 1.22

time (sec)

N/A 0.678 3.352 0.913 0.222 0.285 0.000 0.341 13.900

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 131 112 228 236 0 181 198

N.S.

1 1.00 0.80 0.69 1.40 1.45 0.00 1.11 1.21

time (sec)

N/A 0.529 1.806 0.859 0.219 0.271 0.000 0.326 14.110

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 87 80 175 125 0 117 85

N.S.

1 1.00 0.60 0.55 1.20 0.86 0.00 0.80 0.58

time (sec)

N/A 0.247 0.437 0.808 0.221 0.265 0.000 0.315 13.793

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 81 80 174 124 0 117 84

N.S.

1 1.00 0.59 0.58 1.26 0.90 0.00 0.85 0.61

time (sec)

N/A 0.281 0.549 0.783 0.216 0.262 0.000 0.316 13.817

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 193 78 175 124 0 117 88

N.S.

1 1.00 1.40 0.57 1.27 0.90 0.00 0.85 0.64

time (sec)

N/A 0.174 3.328 0.817 0.228 0.278 0.000 0.313 13.826

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 329 89 201 181 0 154 163

N.S.

1 1.00 2.38 0.64 1.46 1.31 0.00 1.12 1.18

time (sec)

N/A 0.308 4.276 0.737 0.315 0.262 0.000 0.326 14.016

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 140 107 271 223 0 190 202

N.S.

1 1.00 0.84 0.64 1.63 1.34 0.00 1.14 1.22

time (sec)

N/A 0.582 5.249 1.083 0.308 0.264 0.000 0.316 14.197

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 555 123 364 240 0 233 179

N.S.

1 1.00 2.49 0.55 1.63 1.08 0.00 1.04 0.80

time (sec)

N/A 0.743 5.978 1.107 0.303 0.270 0.000 0.330 14.004

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

256 256 611 140 452 257 0 261 300

N.S.

1 1.00 2.39 0.55 1.77 1.00 0.00 1.02 1.17

time (sec)

N/A 0.806 6.079 1.197 0.298 0.282 0.000 0.324 13.643

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 187 98 130 0 122 0 0 512

N.S.

1 1.00 0.52 0.70 0.00 0.65 0.00 0.00 2.74

time (sec)

N/A 0.422 0.414 4.401 0.000 0.262 0.000 0.000 22.625

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 81 108 0 105 0 0 407

N.S.

1 1.00 0.56 0.75 0.00 0.73 0.00 0.00 2.83

time (sec)

N/A 0.345 0.235 4.053 0.000 0.277 0.000 0.000 18.425

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 80 80 0 87 0 0 212

N.S.

1 1.00 0.79 0.79 0.00 0.86 0.00 0.00 2.10

time (sec)

N/A 0.269 0.210 3.542 0.000 0.262 0.000 0.000 18.775

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 53 55 0 66 0 0 159

N.S.

1 1.00 0.85 0.89 0.00 1.06 0.00 0.00 2.56

time (sec)

N/A 0.118 0.125 3.338 0.000 0.268 0.000 0.000 2.023

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 76 96 147 235 0 0 0

N.S.

1 1.00 1.15 1.45 2.23 3.56 0.00 0.00 0.00

time (sec)

N/A 0.109 0.425 5.689 0.361 0.291 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 83 296 939 261 0 0 0

N.S.

1 1.00 1.22 4.35 13.81 3.84 0.00 0.00 0.00

time (sec)

N/A 0.126 0.305 29.578 0.424 0.299 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 117 332 1851 308 0 0 0

N.S.

1 1.00 1.00 2.84 15.82 2.63 0.00 0.00 0.00

time (sec)

N/A 0.222 0.307 28.682 0.512 0.310 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 70 366 2981 346 0 0 0

N.S.

1 1.00 0.44 2.29 18.63 2.16 0.00 0.00 0.00

time (sec)

N/A 0.299 0.154 31.900 0.672 0.295 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 70 400 8561 380 0 0 0

N.S.

1 1.00 0.34 1.97 42.17 1.87 0.00 0.00 0.00

time (sec)

N/A 0.380 0.133 30.185 0.882 0.350 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 100 131 0 127 0 0 596

N.S.

1 1.00 0.53 0.69 0.00 0.67 0.00 0.00 3.15

time (sec)

N/A 0.563 0.486 4.299 0.000 0.253 0.000 0.000 22.809

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 82 109 0 108 0 0 479

N.S.

1 1.00 0.59 0.79 0.00 0.78 0.00 0.00 3.47

time (sec)

N/A 0.350 0.270 4.146 0.000 0.257 0.000 0.000 19.025

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 70 81 0 89 0 0 213

N.S.

1 1.00 0.69 0.80 0.00 0.88 0.00 0.00 2.11

time (sec)

N/A 0.167 0.227 3.971 0.000 0.264 0.000 0.000 18.135

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 102 206 998 314 0 0 0

N.S.

1 1.00 0.97 1.96 9.50 2.99 0.00 0.00 0.00

time (sec)

N/A 0.187 0.627 1.651 0.413 0.290 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 92 308 1801 292 0 0 0

N.S.

1 1.00 0.89 2.99 17.49 2.83 0.00 0.00 0.00

time (sec)

N/A 0.292 0.722 18.376 0.496 0.313 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 119 333 0 320 0 0 0

N.S.

1 1.00 1.00 2.80 0.00 2.69 0.00 0.00 0.00

time (sec)

N/A 0.324 0.615 30.806 0.000 0.309 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 137 367 0 360 0 0 0

N.S.

1 1.00 0.84 2.24 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.442 0.684 28.767 0.000 0.318 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 154 401 0 396 0 0 0

N.S.

1 1.00 0.74 1.92 0.00 1.89 0.00 0.00 0.00

time (sec)

N/A 0.554 0.909 30.542 0.000 0.366 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 237 117 155 0 157 0 0 856

N.S.

1 1.00 0.49 0.65 0.00 0.66 0.00 0.00 3.61

time (sec)

N/A 0.823 4.162 95.809 0.000 0.266 0.000 0.000 23.954

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 96 133 0 136 0 0 723

N.S.

1 1.00 0.55 0.76 0.00 0.78 0.00 0.00 4.13

time (sec)

N/A 0.446 0.458 34.914 0.000 0.270 0.000 0.000 22.636

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 89 111 0 115 0 0 590

N.S.

1 1.00 0.64 0.80 0.00 0.83 0.00 0.00 4.28

time (sec)

N/A 0.232 0.361 13.631 0.000 0.265 0.000 0.000 18.038

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 128 211 1396 378 0 0 0

N.S.

1 1.00 0.90 1.49 9.83 2.66 0.00 0.00 0.00

time (sec)

N/A 0.275 0.994 9.274 0.415 0.282 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 117 330 2780 386 0 0 0

N.S.

1 1.00 0.82 2.31 19.44 2.70 0.00 0.00 0.00

time (sec)

N/A 0.495 4.032 45.569 0.527 0.306 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 159 344 0 348 0 0 0

N.S.

1 1.00 1.03 2.23 0.00 2.26 0.00 0.00 0.00

time (sec)

N/A 0.511 0.561 98.448 0.000 0.310 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 164 312 369 0 380 0 0 0

N.S.

1 1.00 1.90 2.25 0.00 2.32 0.00 0.00 0.00

time (sec)

N/A 0.555 0.753 258.825 0.000 0.315 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 366 403 0 420 0 0 0

N.S.

1 1.00 1.75 1.93 0.00 2.01 0.00 0.00 0.00

time (sec)

N/A 0.689 0.907 2.118 0.000 0.317 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F(-1) A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 416 437 0 460 0 0 0

N.S.

1 1.00 1.64 1.72 0.00 1.81 0.00 0.00 0.00

time (sec)

N/A 0.774 1.248 2.118 0.000 0.323 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

202 202 140 359 0 432 0 252 0

N.S.

1 1.00 0.69 1.78 0.00 2.14 0.00 1.25 0.00

time (sec)

N/A 0.722 0.435 4.424 0.000 0.288 0.000 1.366 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 123 313 0 397 0 229 0

N.S.

1 1.00 0.77 1.97 0.00 2.50 0.00 1.44 0.00

time (sec)

N/A 0.498 0.297 4.005 0.000 0.313 0.000 1.279 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 106 267 0 352 0 165 0

N.S.

1 1.00 0.90 2.26 0.00 2.98 0.00 1.40 0.00

time (sec)

N/A 0.293 0.230 3.366 0.000 0.294 0.000 1.219 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 88 194 0 287 0 131 0

N.S.

1 1.00 1.13 2.49 0.00 3.68 0.00 1.68 0.00

time (sec)

N/A 0.127 0.132 3.018 0.000 0.299 0.000 1.092 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B C A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 92 201 699 307 0 0 0

N.S.

1 1.00 1.01 2.21 7.68 3.37 0.00 0.00 0.00

time (sec)

N/A 0.125 0.524 3.191 0.634 0.700 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 115 317 0 458 0 365 0

N.S.

1 1.00 0.97 2.66 0.00 3.85 0.00 3.07 0.00

time (sec)

N/A 0.272 0.189 30.753 0.000 0.860 0.000 1.912 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

165 165 135 651 0 506 0 621 0

N.S.

1 1.00 0.82 3.95 0.00 3.07 0.00 3.76 0.00

time (sec)

N/A 0.444 0.298 32.147 0.000 1.469 0.000 1.963 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 150 685 0 539 0 818 0

N.S.

1 1.00 0.73 3.33 0.00 2.62 0.00 3.97 0.00

time (sec)

N/A 0.713 0.487 31.326 0.000 1.382 0.000 1.987 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

216 216 160 377 0 504 0 277 0

N.S.

1 1.00 0.74 1.75 0.00 2.33 0.00 1.28 0.00

time (sec)

N/A 0.729 2.330 4.472 0.000 0.306 0.000 1.645 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

171 171 141 331 0 459 0 247 0

N.S.

1 1.00 0.82 1.94 0.00 2.68 0.00 1.44 0.00

time (sec)

N/A 0.526 1.044 4.102 0.000 0.332 0.000 1.634 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

118 118 125 259 0 386 0 187 0

N.S.

1 1.00 1.06 2.19 0.00 3.27 0.00 1.58 0.00

time (sec)

N/A 0.326 0.558 3.877 0.000 0.302 0.000 1.541 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 127 238 0 367 0 133 0

N.S.

1 1.00 1.46 2.74 0.00 4.22 0.00 1.53 0.00

time (sec)

N/A 0.187 0.603 3.474 0.000 0.303 0.000 1.204 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

127 127 230 288 0 548 0 0 0

N.S.

1 1.00 1.81 2.27 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 0.303 2.563 3.288 0.000 1.743 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

170 170 169 828 0 609 0 418 0

N.S.

1 1.00 0.99 4.87 0.00 3.58 0.00 2.46 0.00

time (sec)

N/A 0.657 0.997 31.532 0.000 2.306 0.000 2.105 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 221 395 991 0 644 0 638 0

N.S.

1 1.00 1.79 4.48 0.00 2.91 0.00 2.89 0.00

time (sec)

N/A 0.972 1.739 31.048 0.000 3.305 0.000 2.326 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 268 499 1025 0 675 0 816 0

N.S.

1 1.00 1.86 3.82 0.00 2.52 0.00 3.04 0.00

time (sec)

N/A 0.963 6.135 29.891 0.000 3.340 0.000 2.437 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-1) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

216 216 161 377 0 557 0 276 0

N.S.

1 1.00 0.75 1.75 0.00 2.58 0.00 1.28 0.00

time (sec)

N/A 0.764 1.939 4.302 0.000 0.328 0.000 1.463 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

169 169 144 306 0 484 0 258 0

N.S.

1 1.00 0.85 1.81 0.00 2.86 0.00 1.53 0.00

time (sec)

N/A 0.549 1.626 3.860 0.000 0.302 0.000 1.375 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 131 335 0 475 0 170 0

N.S.

1 1.00 1.04 2.66 0.00 3.77 0.00 1.35 0.00

time (sec)

N/A 0.334 1.064 3.737 0.000 0.339 0.000 1.431 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 126 206 325 0 475 0 170 0

N.S.

1 1.00 1.63 2.58 0.00 3.77 0.00 1.35 0.00

time (sec)

N/A 0.190 1.113 3.485 0.000 0.326 0.000 1.404 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F B F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 164 343 376 0 670 0 0 0

N.S.

1 1.00 2.09 2.29 0.00 4.09 0.00 0.00 0.00

time (sec)

N/A 0.305 7.504 3.464 0.000 3.605 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

207 207 208 899 0 739 0 464 0

N.S.

1 1.00 1.00 4.34 0.00 3.57 0.00 2.24 0.00

time (sec)

N/A 0.677 3.848 29.642 0.000 4.676 0.000 2.138 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

264 264 349 1386 0 776 0 685 0

N.S.

1 1.00 1.32 5.25 0.00 2.94 0.00 2.59 0.00

time (sec)

N/A 1.310 4.004 31.770 0.000 6.329 0.000 2.280 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 79 112 699 305 0 71 0

N.S.

1 1.00 0.89 1.26 7.85 3.43 0.00 0.80 0.00

time (sec)

N/A 0.231 0.296 3.523 0.631 0.324 0.000 0.902 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 99 168 0 435 0 114 0

N.S.

1 1.00 0.86 1.46 0.00 3.78 0.00 0.99 0.00

time (sec)

N/A 0.369 0.434 28.787 0.000 0.302 0.000 0.986 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 119 203 0 462 0 141 0

N.S.

1 1.00 0.77 1.31 0.00 2.98 0.00 0.91 0.00

time (sec)

N/A 0.621 0.368 28.832 0.000 0.304 0.000 0.986 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 126 236 0 484 0 166 0

N.S.

1 1.00 0.66 1.23 0.00 2.52 0.00 0.86 0.00

time (sec)

N/A 0.643 0.515 29.775 0.000 0.292 0.000 1.028 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 133 126 277 0 502 0 112 0

N.S.

1 1.15 1.09 2.39 0.00 4.33 0.00 0.97 0.00

time (sec)

N/A 0.260 0.548 4.202 0.000 0.284 0.000 1.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 134 261 0 526 0 177 0

N.S.

1 1.00 0.92 1.79 0.00 3.60 0.00 1.21 0.00

time (sec)

N/A 0.432 0.782 29.306 0.000 0.298 0.000 1.112 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 165 295 0 550 0 183 0

N.S.

1 1.00 0.85 1.52 0.00 2.84 0.00 0.94 0.00

time (sec)

N/A 0.635 2.101 31.194 0.000 0.316 0.000 1.159 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 236 175 328 0 572 0 208 0

N.S.

1 1.00 0.74 1.39 0.00 2.42 0.00 0.88 0.00

time (sec)

N/A 0.867 2.371 29.943 0.000 0.288 0.000 1.073 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 185 149 417 0 590 0 138 0

N.S.

1 1.22 0.98 2.74 0.00 3.88 0.00 0.91 0.00

time (sec)

N/A 0.244 1.435 4.250 0.000 0.295 0.000 1.201 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 189 375 0 612 0 183 0

N.S.

1 1.00 1.03 2.04 0.00 3.33 0.00 0.99 0.00

time (sec)

N/A 0.584 1.753 31.650 0.000 0.316 0.000 1.237 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 236 187 408 0 634 0 224 0

N.S.

1 1.00 0.79 1.73 0.00 2.69 0.00 0.95 0.00

time (sec)

N/A 0.843 2.116 29.758 0.000 0.301 0.000 1.249 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 280 199 441 0 656 0 234 0

N.S.

1 1.00 0.71 1.58 0.00 2.34 0.00 0.84 0.00

time (sec)

N/A 1.418 2.778 30.621 0.000 0.304 0.000 1.228 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 200 691 0 233 0 0 0

N.S.

1 1.00 1.01 3.47 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.306 2.261 41.645 0.000 0.106 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 168 635 0 219 0 0 0

N.S.

1 1.00 0.98 3.69 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.278 1.979 32.793 0.000 0.100 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 94 400 0 188 0 0 0

N.S.

1 1.00 0.70 2.96 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.190 1.680 22.680 0.000 0.105 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 77 240 0 141 0 0 0

N.S.

1 1.00 0.73 2.26 0.00 1.33 0.00 0.00 0.00

time (sec)

N/A 0.181 1.858 16.807 0.000 0.101 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 83 321 0 142 0 0 0

N.S.

1 1.00 0.75 2.92 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.162 1.069 15.216 0.000 0.093 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 99 355 0 169 0 0 0

N.S.

1 1.00 0.70 2.52 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.199 1.998 18.944 0.000 0.110 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 113 383 0 187 0 0 0

N.S.

1 1.00 0.66 2.23 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.214 1.620 22.531 0.000 0.117 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 463 825 0 263 0 0 0

N.S.

1 1.00 1.98 3.53 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.381 4.992 43.418 0.000 0.110 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 321 716 0 239 0 0 0

N.S.

1 1.00 1.61 3.60 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.338 6.856 34.262 0.000 0.096 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 313 513 0 202 0 0 0

N.S.

1 1.00 1.96 3.21 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.283 3.699 24.283 0.000 0.106 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 183 245 0 166 0 0 0

N.S.

1 1.00 1.16 1.55 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.312 3.164 21.190 0.000 0.106 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 153 357 0 187 0 0 0

N.S.

1 1.00 0.92 2.15 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.305 3.013 21.638 0.000 0.102 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 193 385 0 211 0 0 0

N.S.

1 1.00 0.96 1.92 0.00 1.05 0.00 0.00 0.00

time (sec)

N/A 0.329 3.396 23.656 0.000 0.106 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

234 234 217 413 0 231 0 0 0

N.S.

1 1.00 0.93 1.76 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.357 3.736 24.315 0.000 0.113 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 277 793 1153 0 283 0 0 0

N.S.

1 1.00 2.86 4.16 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.526 8.721 58.787 0.000 0.108 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 465 904 0 263 0 0 0

N.S.

1 1.00 1.91 3.70 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.534 6.176 44.065 0.000 0.108 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 244 916 0 243 0 0 0

N.S.

1 1.00 1.16 4.34 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 0.617 3.346 39.513 0.000 0.113 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 202 654 0 215 0 0 0

N.S.

1 1.00 1.02 3.29 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.600 2.885 26.109 0.000 0.108 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 207 519 0 197 0 0 0

N.S.

1 1.00 0.98 2.46 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.627 2.579 22.646 0.000 0.103 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 194 385 0 211 0 0 0

N.S.

1 1.00 0.92 1.82 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.490 3.710 24.852 0.000 0.109 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 196 413 0 231 0 0 0

N.S.

1 1.00 0.80 1.69 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.534 3.709 27.462 0.000 0.114 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

277 277 239 441 0 251 0 0 0

N.S.

1 1.00 0.86 1.59 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 0.558 4.176 30.205 0.000 0.121 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]